Dalen, Dirk: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Universitext] Logic and Structure ||

van Dalen, Dirk

Year:

2013

Language:

english

File:

PDF, 2.08 MB

english, 2013

2

Zermelo and the Skolem Paradox

Dirk Van Dalen and Heinz-Dieter Ebbinghaus

Journal:

Bulletin of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 476 KB

english, 2000

3

Brouwer: The Genesis of his Intuitionism

Journal:

Year:

1978

Language:

english

File:

PDF, 694 KB

english, 1978

4

Ishihara's proof technique in constructive analysis

Douglas Bridges, Dirk van Dalen, Hajime Ishihara

Journal:

Indagationes Mathematicae

Year:

2003

Language:

english

File:

PDF, 283 KB

english, 2003

5

Arguments for the Continuity Principle

Mark van Atten and Dirk van Dalen

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 437 KB

english, 2002

6

How connected is the intuitionistic continuum?

Dalen, Dirk Van

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 347 KB

english, 1997

7

Hermann Weyl's Intuitionistic Mathematics

Journal:

Bulletin of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 557 KB

english, 1995

8

Gentzens problem. mathematische logik im nationalsozialistischen Deutschland.

Osmo Pekonen, Eckart Menzler-Trott, Petr Hájek, Dirk van Dalen

Journal:

The Mathematical Intelligencer

Year:

2004

Language:

english

File:

PDF, 343 KB

english, 2004

9

A blaricum topology for brouwer

Journal:

The Mathematical Intelligencer

Year:

2005

Language:

english

File:

PDF, 695 KB

english, 2005

10

Brouwer and Fraenkel on Intuitionism

Journal:

Bulletin of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 576 KB

english, 2000

11

L.E.J. Brouwer, fifty years later

van Dalen, Dirk, Jongbloed, Geurt, Klop, Jan Willem, van Mill, Jan

Journal:

Indagationes Mathematicae

Year:

2019

Language:

english

File:

PDF, 6.93 MB

english, 2019

12

‘Outside’ as a primitive notion in constructive projective geometry

Journal:

Geometriae Dedicata

Year:

1996

Language:

english

File:

PDF, 211 KB

english, 1996

13

Kolmogorov and Brouwer on constructive implication and the Ex Falso rule

Dalen, Dirk van

Journal:

Russian Mathematical Surveys

Year:

2004

Language:

english

File:

PDF, 168 KB

english, 2004

14

Ein Logiker unter den Nazis

van Dalen, Dirk

Journal:

Mitteilungen der Deutschen Mathematiker-Vereinigung

Year:

2003

Language:

german

File:

PDF, 82 KB

german, 2003

15

The birth and youth of Compositio Mathematica: ‘Ce périodique foncièrement international’

van Dalen, Dirk, Remmert, Volker R.

Journal:

Compositio Mathematica

Year:

2006

Language:

english

File:

PDF, 292 KB

english, 2006

16

Outcome of Nonsurgical Management of Extra-Abdominal, Trunk, and Abdominal Wall Desmoid-Type Fibromatosis: A Population-Based Study in the Netherlands

van Broekhoven, Danique L. M., Verschoor, Arie J., van Dalen, Thijs, Grünhagen, Dirk J., den Bakker, Michael A., Gelderblom, Hans, Bovee, Judith V. M. G., Haas, Rick L. M., Bonenkamp, Han J., van Coev

Journal:

Year:

2018

Language:

english

File:

PDF, 1.51 MB

english, 2018

17

A nationwide cohort study on treatment and survival in patients with malignant peripheral nerve sheath tumours

Martin, Enrico, Coert, J. Henk, Flucke, Uta E., Slooff, Willem-Bart M., Ho, Vincent K.Y., van der Graaf, Winette T., van Dalen, Thijs, van de Sande, Michiel A.J., van Houdt, Winan J., Grünhagen, Dirk

Journal:

European Journal of Cancer

Year:

2020

Language:

english

File:

PDF, 2.13 MB

english, 2020

18

Fans Generated by Nondeterministic Automata

Journal:

Mathematical Logic Quarterly

Year:

1968

Language:

english

File:

PDF, 375 KB

english, 1968

19

Intuitionism — Counting its Blessings. Preliminary version

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1996

File:

PDF, 28 KB

1996

20

Variants of Rescher's semantics for preference logic and some completeness theorems

Journal:

Year:

1974

Language:

english

File:

PDF, 865 KB

english, 1974

21

Brouwer’s -fixed point and Sperner’s lemma

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 294 KB

english, 2011

22

Route of gastroenteric reconstruction in pancreatoduodenectomy and delayed gastric emptying

Wietse J. Eshuis, Jan Willem van Dalen, Olivier R.C. Busch, Thomas M. van Gulik, Dirk J. Gouma

Journal:

Year:

2012

Language:

english

File:

PDF, 173 KB

english, 2012

23

[Lecture Notes in Computer Science] Computer Science Logic Volume 1258 || Call-by-Value, call-by-name and the logic of values

Dalen, Dirk, Bezem, Marc

Year:

1997

Language:

english

File:

PDF, 770 KB

english, 1997

24

No change in endothelial-dependent vasomotion late after coronary irradiation

Sjoerd H. Hofma, Bas M. van Dalen, Pedro A. Lemos, Jurgen M.R. Ligthart, Jiro Aoki, Eugene P. McFadden, Georgios Sianos, Dirk van Essen, Pim J. de Feijter, Patrick W. Serruys, Wim J. v.d. Giessen

Journal:

Cardiovascular Radiation Medicine

Year:

2004

Language:

english

File:

PDF, 106 KB

english, 2004

25

Challenges in the Diagnosis Acute Pulmonary Embolism

Paul D. Stein, H. Dirk Sostman, Henri Bounameaux, Harry R. Buller, Thomas L. Chenevert, James E. Dalen, Lawrence R. Goodman, Alexander Gottschalk, Russell D. Hull, Kenneth V. Leeper Jr, Massimo Pistol

Journal:

The American Journal of Medicine

Year:

2008

Language:

english

File:

PDF, 135 KB

english, 2008

26

Identical chromosome translocations involving the region of the c-myb oncogene in four metastases of a mediastinal teratocarcinoma

J.Wolter Oosterhuis, Bauke de Jong, Ineke van Dalen, Ingrid van der Meer, Margreet Visser, Loe de Leij, Geert Mesander, John G. Collard, Heimen Schraffordt Koops, Dirk Th. Sleijfer

Journal:

Cancer Genetics and Cytogenetics

Year:

1985

Language:

english

File:

PDF, 836 KB

english, 1985

27

Logic and Structure ||

van Dalen, Dirk

Year:

2004

Language:

english

File:

PDF, 120 KB

english, 2004

28

M1650 Route of Gastroenteric Anastomosis in Pancreatoduodenectomy and Delayed Gastric Emptying - A Retrospective Analysis

Eshuis, Wietse J., Van Dalen, Jan Willem, Busch, Olivier R., Van Gulik, Thomas M., Gouma, Dirk J.

Journal:

Gastroenterology

Year:

2010

Language:

english

File:

PDF, 49 KB

english, 2010

29

Reducibilities in Intuitionistic Topology

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 687 KB

english, 1968

30

Introduction to Mathematical Logicby Elliott Mendelson

Review by: Dirk van Dalen

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 370 KB

english, 1969

31

[Lecture Notes in Computer Science] Computer Science Logic Volume 1258 || Proofs in system F ω can be done in system F ω1

Dalen, Dirk, Bezem, Marc

Year:

1997

Language:

english

File:

PDF, 914 KB

english, 1997

32

Prognostic Value ofCTNNB1Gene Mutation in Primary Sporadic Aggressive Fibromatosis

van Broekhoven, Danique L. M., Verhoef, Cornelis, Grünhagen, Dirk J., van Gorp, Joost M. H. H., den Bakker, Michael A., Hinrichs, John W. J., de Voijs, Carmen M. A., van Dalen, Thijs

Journal:

Annals of Surgical Oncology

Year:

2015

Language:

english

File:

PDF, 294 KB

english, 2015

33

Fourman M. P. and Scott D. S.. Sheaves and logic. Applications of sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977, edited by Fourman M. P., Mulvey C. J., and Scott D. S., Lecture notes in mathematics, vol. 753, Springer-Verlag, Berlin, Heidelberg, and New York, 1979, pp. 302–401.

van Dalen, Dirk

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 432 KB

english, 1983

34

Use of internal references for assessing CT density measurements of the pelvis as replacement for use of an external phantom

Boomsma, Martijn F., Slouwerhof, Inge, van Dalen, Jorn A., Edens, Mireille A., Mueller, Dirk, Milles, Julien, Maas, Mario

Journal:

Skeletal Radiology

Year:

2015

Language:

english

File:

PDF, 1.25 MB

english, 2015

35

Time Trends in the Incidence and Treatment of Extra-Abdominal and Abdominal Aggressive Fibromatosis: A Population-Based Study

van Broekhoven, Danique L. M., Grünhagen, Dirk J., den Bakker, Michael A., van Dalen, Thijs, Verhoef, Cornelis

Journal:

Annals of Surgical Oncology

Year:

2015

Language:

english

File:

PDF, 826 KB

english, 2015

36

Variants of Rescher's Semantics for Preference Logic and Some Completeness Theorems

Journal:

Year:

1974

Language:

english

File:

PDF, 1.80 MB

english, 1974

37

Jacques Herbrand: Logical Writings.by Warren D. Goldfarb

Review by: Dirk Van Dalen

Journal:

The Journal of Philosophy

Year:

1974

Language:

english

File:

PDF, 580 KB

english, 1974

38

Early Postoperative Hyperglycemia Is Associated With Postoperative Complications After Pancreatoduodenectomy

Eshuis, Wietse J., Hermanides, Jeroen, van Dalen, Jan W., van Samkar, Gan, Busch, Olivier R.C., van Gulik, Thomas M., DeVries, J. Hans, Hoekstra, Joost B.L., Gouma, Dirk J.

Journal:

Annals of Surgery

Year:

2011

Language:

english

File:

PDF, 186 KB

english, 2011

39

Selected Papers in Honour of Ettore Casari || From Brouwerian Counter Examples to the Creating Subject

Journal:

Year:

1999

Language:

english

File:

PDF, 1.16 MB

english, 1999

40

Tailored Beta-catenin mutational approach in extra-abdominal sporadic desmoid tumor patients without therapeutic intervention

van Broekhoven, Danique L.M., Grünhagenl, Dirk J., van Dalen, Thijs, van Coevorden, Frits, Bonenkamp, Han J., Been, Lukas B., Bemelmans, Marc H.A., Dijkstra, Sander D.S., Colombo, Chiara, Gronchi, Ale

Journal:

Year:

2016

Language:

english

File:

PDF, 460 KB

english, 2016

41

Cardiac Shear Wave Velocity Detection in the Porcine Heart

Vos, Hendrik J., van Dalen, Bas M., Heinonen, Ilkka, Bosch, Johan G., Sorop, Oana, Duncker, Dirk J., van der Steen, Antonius F.W., de Jong, Nico

Journal:

Ultrasound in Medicine & Biology

Year:

2017

Language:

english

File:

PDF, 1.89 MB

english, 2017

42

Volkmar Felsch: Otto Blumenthals Tagebücher

Journal:

Mathematische Semesterberichte

Year:

2017

Language:

german

File:

PDF, 193 KB

german, 2017

43

Early detection of left ventricular diastolic dysfunction using conventional and speckle tracking echocardiography in a large animal model of metabolic dysfunction

van den Dorpel, Mark M. P., Heinonen, Ilkka, Snelder, Sanne M., Vos, Hendrik J., Sorop, Oana, van Domburg, Ron T., Merkus, Daphne, Duncker, Dirk J., van Dalen, Bas M.

Journal:

The International Journal of Cardiovascular Imaging

Year:

2017

Language:

english

File:

PDF, 1.15 MB

english, 2017

44

Arguments for the Continuity Principle

van Atten, Mark, van Dalen, Dirk

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 193 KB

english, 2002

45

L.E.J. Brouwer, fifty years later

van Dalen, Dirk, Jongbloed, Geurt, Klop, Jan Willem, van Mill, Jan

Journal:

Indagationes Mathematicae

Year:

2019

File:

PDF, 6.93 MB

2019

46

A nationwide cohort study on treatment and survival in patients with malignant peripheral nerve sheath tumours

Martin, Enrico, Coert, J. Henk, Flucke, Uta E., Slooff, Willem-Bart M., Ho, Vincent K.Y., van der Graaf, Winette T., van Dalen, Thijs, van de Sande, Michiel A.J., van Houdt, Winan J., Grünhagen, Dirk

Journal:

European Journal of Cancer

Year:

2020

File:

PDF, 2.13 MB

2020